On Equivalence Relations Between Interpreted Languages, with an Application to Modal and First-Order Language

Abstract I examine notions of equivalence between logics (understood as languages interpreted model-theoretically) and develop two new ones that invoke not only the algebraic but also string-theoretic structure underlying language. As an application, show how to construe modal operator what might be called typographical notational variants bona fide first-order languages.